Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Analítica	Verificando diseños BON mediante Alloy	Baum, Gabriel Alfredo	EN: CACIC 2005 [CD-ROM] / Congreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia) Edición: 1a ed. (2005) (Libro)		----------
Artículo	Verifying BON models with alloy :	Demasi, Ramiro	(2005)		----------